программная система моделирования логики с бесконечным числом состояний

Engineering: infinite state logic simulator